inductive programming definition